Synchronizing permutation groups and graph endomorphisms

The current thesis is focused on synchronizing permutation groups and on graph endo- morphisms. Applying the implicit classification of rank 3 groups, we provide a bound on synchronizing ranks of rank 3 groups, at first. Then, we determine the singular graph endomorphisms of the Hamming graph and related graphs, count Latin hypercuboids of class r, establish their relation to mixed MDS codes, investigate G-decompositions of (non)-synchronizing semigroups, and analyse the kernel graph construction used in the theorem of Cameron and Kazanidis which identifies non-synchronizing transformations with graph endomorphisms [20]. The contribution lies in the following points: 1. A bound on synchronizing ranks of groups of permutation rank 3 is given, and a complete list of small non-synchronizing groups of permutation rank 3 is provided (see Chapter 3). 2. The singular endomorphisms of the Hamming graph and some related graphs are characterised (see Chapter 5). 3. A theorem on the extension of partial Latin hypercuboids is given, Latin hyper- cuboids for small values are counted, and their correspondence to mixed MDS codes is unveiled (see Chapter 6). 4. The research on normalizing groups from [3] is extended to semigroups of the form , and decomposition properties of non-synchronizing semigroups are described which are then applied to semigroups induced by combinatorial tiling problems (see Chapter 7). 5. At last, it is shown that all rank 3 graphs admitting singular endomorphisms are hulls and it is conjectured that a hull on n vertices has minimal generating set of at most n generators (see Chapter 8)

Primitive groups, graph endomorphisms and synchronization

The third author has been partially supported by the Fundação para a Ciência e a Tecnologia through the project CEMAT-CIÊNCIAS UID/Multi/04621/2013.Let Ω be a set of cardinality n, G be a permutation group on Ω and f:Ω→Ω be a map that is not a permutation. We say that G synchronizes f if the transformation semigroup ⟨G,f⟩ contains a constant map, and that G is a synchronizing group if G synchronizes every non-permutation.  A synchronizing group is necessarily primitive, but there are primitive groups that are not synchronizing. Every non-synchronizing primitive group fails to synchronize at least one uniform transformation (that is, transformation whose kernel has parts of equal size), and it had previously been conjectured that this was essentially the only way in which a primitive group could fail to be synchronizing, in other words, that a primitive group synchronizes every non-uniform transformation.  The first goal of this paper is to prove that this conjecture is false, by exhibiting primitive groups that fail to synchronize specific non-uniform transformations of ranks 5 and 6. As it has previously been shown that primitive groups synchronize every non-uniform transformation of rank at most 4, these examples are of the lowest possible rank. In addition, we produce graphs with primitive automorphism groups that have approximately √n non-synchronizing ranks, thus refuting another conjecture on the number of non-synchronizing ranks of a primitive group. The second goal of this paper is to extend the spectrum of ranks for which it is known that primitive groups synchronize every non-uniform transformation of that rank. It has previously been shown that a primitive group of degree n synchronizes every non-uniform transformation of rank n−1 and n−2, and here this is extended to n−3 and n−4.  In the process, we will obtain a purely graph-theoretical result showing that, with limited exceptions, in a vertex-primitive graph the union of neighbourhoods of a set of vertices A is bounded below by a function that is asymptotically √|A|. Determining the exact spectrum of ranks for which there exist non-uniform transformations not synchronized by some primitive group is just one of several natural, but possibly difficult, problems on automata, primitive groups, graphs and computational algebra arising from this work; these are outlined in the final section.PostprintPeer reviewe

Global Island Monitoring Scheme (GIMS) : a proposal for the long-term coordinated survey and monitoring of native island forest biota

Islands harbour evolutionary and ecologically unique biota, which are currently disproportionately threatened by a multitude of anthropogenic factors, including habitat loss, invasive species and climate change. Native forests on oceanic islands are important refugia for endemic species, many of which are rare and highly threatened. Long-term monitoring schemes for those biota and ecosystems are urgently needed: (i) to provide quantitative baselines for detecting changes within island ecosystems, (ii) to evaluate the effectiveness of conservation and management actions, and (iii) to identify general ecological patterns and processes using multiple island systems as repeated 'natural experiments'. In this contribution, we call for a Global Island Monitoring Scheme (GIMS) for monitoring the remaining native island forests, using bryophytes, vascular plants, selected groups of arthropods and vertebrates as model taxa. As a basis for the GIMS, we also present new, optimized monitoring protocols for bryophytes and arthropods that were developed based on former standardized inventory protocols. Effective inventorying and monitoring of native island forests will require: (i) permanent plots covering diverse ecological gradients (e.g. elevation, age of terrain, anthropogenic disturbance); (ii) a multiple-taxa approach that is based on standardized and replicable protocols; (iii) a common set of indicator taxa and community properties that are indicative of native island forests' welfare, building on, and harmonized with existing sampling and monitoring efforts; (iv) capacity building and training of local researchers, collaboration and continuous dialogue with local stakeholders; and (v) long-term commitment by funding agencies to maintain a global network of native island forest monitoring plots.Peer reviewe

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

Diffusion tensor imaging with deterministic error bounds

Errors in the data and the forward operator of an inverse problem can be handily modelled using partial order in Banach lattices. We present some existing results of the theory of regularisation in this novel framework, where errors are represented as bounds by means of the appropriate partial order. We apply the theory to diffusion tensor imaging (DTI), where correct noise modelling is challenging: it involves the Rician distribution and the nonlinear Stejskal-Tanner equation. Linearisation of the latter in the statistical framework would complicate the noise model even further. We avoid this using the error bounds approach, which preserves simple error structure under monotone transformations.While at the Center for Mathematical Modelling of the Escuela Politécnica Nacional in Quito, Ecuador, T. Valkonen has been supported by a Prometeo scholarship of the Senescyt (Ecuadorian Ministry of Science, Technology, Education, and Innovation). In Cambridge, T. Valkonen has been supported by the EPSRC grants Nr. EP/J009539/1 “Sparse & Higher-order Image Restoration”, and Nr. EP/M00483X/1 “Efficient computational tools for inverse imaging problems”. A. Gorokh and Y. Korolev are grateful to the RFBR (Russian Foundation for Basic Research) for partial financial support (projects 14-01-31173 and 14-01-91151)

Production of He-4 and (4) in Pb-Pb collisions at root(NN)-N-S=2.76 TeV at the LHC

Results on the production of He-4 and (4) nuclei in Pb-Pb collisions at root(NN)-N-S = 2.76 TeV in the rapidity range vertical bar y vertical bar <1, using the ALICE detector, are presented in this paper. The rapidity densities corresponding to 0-10% central events are found to be dN/dy4(He) = (0.8 +/- 0.4 (stat) +/- 0.3 (syst)) x 10(-6) and dN/dy4 = (1.1 +/- 0.4 (stat) +/- 0.2 (syst)) x 10(-6), respectively. This is in agreement with the statistical thermal model expectation assuming the same chemical freeze-out temperature (T-chem = 156 MeV) as for light hadrons. The measured ratio of (4)/He-4 is 1.4 +/- 0.8 (stat) +/- 0.5 (syst). (C) 2018 Published by Elsevier B.V.Peer reviewe